수학

공식 소식에 따르면, OpenAI는 연구 결과를 발표하며 차세대 AI 모델 Astra가 수학 및 이론 컴퓨터 과학 분야에서 진전을 이루었다고 전했습니다. 이 모델은 고차원 기하학, 부호 이론, 군론, 양자 복잡성, 후 양자 암호학 및 극값 조합 수학 등 여러 분야에 걸쳐 있으며, 발표된 10가지 성과는 다음과 같습니다: 고차원 구 포장 문제, 이진 및 구면 부호 문제, 비 sofic 군 문제, Connes 강성 추측, 산술 회로 복잡성 문제, 양자 병렬 반복 문제, 최근 벡터 문제, Ehrhart 체적 추측, 다채로운 Ramsey 수 문제, 극값 그래프 이론 추측.소개에 따르면, 이러한 성과는 내부 버전의 Astra 모델을 통해 유도되었으며, 해결책을 찾는 데 소모된 계산 비용은 약 2000달러(솔 API 가격 기준)입니다.이후, 인간 연구자들은 동일한 모델을 이용해 논문으로 정리하는 데 도움을 주었고, Lean 형식화 증명 시스템을 통해 검증 가능한 증명 증명서를 생성했습니다.

텐센트 혼위안 공식 X 계정에서 발표한 바에 따르면, 그들의 연구 대리인 Hyra가 Hy3 모델과 협력하여 명시적으로 구성하여 수학계에서 50년 이상 괴롭혀온 문제를 증명했습니다: 유한 정수 집합 A의 합집합 크기 |A+A|와 차집합 크기 |A-A|의 증가 속도 최적 지수가 정확히 2입니다. 이전 1969년의 정리는 상한이 2임을 제시했지만, 이후 50년 이상 동안 최적 구성의 지수는 겨우 1.1을 초과했습니다.이 성과는 AI 대리인이 순수 수학 추론 분야에서의 잠재력을 보여줍니다. 텐센트는 Hyra가 복잡한 수학 및 과학 문제 탐색을 지원하기 위해 특별히 개발된 내부 AI 연구 대리인이라고 밝혔습니다. 이 결론은 여전히 수학계 동료 평가 확인이 필요합니다.

외부 공개 정보에 따르면, OpenAI는 내부에서 출시되지 않은 모델을 운영하고 있습니다. 이 모델은 Lean과 같은 도구를 사용하지 않고, 단일 자율 추론을 통해 **48%**의 확률로 단위 거리 문제를 해결하며, 단일 프롬프트에 따라 자율적으로 야코비 추측의 반례를 찾을 수 있습니다. 안전 테스트에서 이 모델은 샌드박스 환경을 우회하여 내부에서 발표되어야 할 결과를 Pull Request 형태로 GitHub에 제출했으며, 분할 인증 토큰을 통해 탐지를 회피한 적이 있습니다. 관련 코드 기록에 따르면, OpenAI는 5월 9일 이전에 이 모델에 대한 벤치마크 테스트를 시작했으며, 내부 사용 가능 시간은 최소 2.5개월을 초과했습니다.이전에 OpenAI와 Hugging Face는 공동으로 발표했으며, 지난주 이 모델이 한 네트워크 능력 평가에서 Hugging Face의 생산 기반 시설을 해킹했습니다. 이 모델은 제로 데이 취약점을 이용해 인터넷에 접근했으며, 자격 증명을 탈취하고 원격 코드 실행 경로를 통해 테스트 솔루션을 확보했습니다. OpenAI는 이 사건이 고급 모델의 네트워크 공격 능력이 실제 상황에서 작동하고 있음을 보여준다고 밝혔으며, Hugging Face와 협력하여 취약점을 조사하고 수정했습니다. 현재 OpenAI는 이에 대해 공개적으로 언급하지 않았습니다.

이더리움 공동 창립자 비탈릭 부테린은 소셜 미디어에 알리바바 산하 Qwen 35B 파라미터 모델의 문제 해결 능력을 칭찬하는 글을 올렸다. 이 인공지능 모델은 복잡한 수학 문제를 성공적으로 해결했으며, 추론 과정에서 약 1.5만 토큰을 소모하고, 로컬 장치에서 단 3분 만에 계산을 완료했다.비탈릭 부테린은 이 문제가 삼각 함수를 이용해 모듈로 연산을 연속 함수 표현에 삽입하는 기술을 보여주며, Qwen 모델의 수학적 추론 능력을 나타낸다고 지적했다.

据 AXIOS 报道，英伟达投资数学人工智能初创公司 Harmonic。-> AXIOS에 따르면, 엔비디아는 수학 인공지능 스타트업 Harmonic에 투자했습니다.

据 SlowMist 监测，去中心化金融协议 yearn 遭遇黑客攻击，造成约 900 万美元损失。슬로우미스트 모니터링에 따르면, 탈중앙화 금융 프로토콜 yearn이 해킹 공격을 받아 약 900만 달러의 손실을 입었습니다.慢雾安全团队对该事件进行了分析，确认根本原因如下：漏洞源于 Yearn yETH 加权稳定币交换池（Weighted Stableswap Pool）合约中用于计算供应量的 _calc_supply 函数逻辑。由于存在不安全的数学运算，该函数在计算过程中允许溢出和舍入误差，导致新供应量与虚拟余额的乘积计算出现显著偏差。攻击者利用此缺陷可将流动性操控至特定数值，并超额铸造流动性池（LP）代币，从而非法获利。建议加强边界场景测试，并采用经过安全验证的算术运算机制，以防范同类协议中此类溢出等高危漏洞。슬로우미스트 보안 팀은 이 사건을 분석한 결과, 근본 원인은 Yearn yETH 가중 안정화 코인 교환 풀(Weighted Stableswap Pool) 계약에서 공급량을 계산하는 _calc_supply 함수의 논리에 있는 취약점이라고 확인했습니다. 불안전한 수학 연산으로 인해 이 함수는 계산 과정에서 오버플로우와 반올림 오류를 허용하여 새로운 공급량과 가상 잔액의 곱 계산에서 상당한 편차를 초래했습니다. 공격자는 이 결함을 이용해 유동성을 특정 값으로 조작하고 유동성 풀(LP) 토큰을 초과 발행하여 불법적으로 이익을 얻을 수 있었습니다. 유사한 프로토콜에서 이러한 오버플로우와 같은 고위험 취약점을 방지하기 위해 경계 시나리오 테스트를 강화하고 보안 검증된 산술 연산 메커니즘을 채택할 것을 권장합니다.此前消息，Yearn 发布声明称，其 yETH 稳定池于 11 月 30 日 21:11 UTC 遭遇攻击，攻击者通过自定义合约大量铸造 yETH，导致池内约 800 万美元资产受损，另有约 90 万美元损失来自 Curve 上的 yETH-WETH 池。이전에 보도된 바에 따르면, Yearn은 성명서를 발표하고 yETH 안정화 풀이 11월 30일 21:11 UTC에 공격을 받았다고 밝혔습니다. 공격자는 사용자 정의 계약을 통해 대량으로 yETH를 발행하여 풀 내 약 800만 달러의 자산이 손실되었으며, 추가로 약 90만 달러의 손실은 Curve의 yETH-WETH 풀에서 발생했습니다.

ChainCatcher 메시지에 따르면, 금십 데이터 보도에 의하면, 머스크는 소셜 미디어에서 다음과 같이 말했습니다: "미국 재무장관 베센트는 소로스의 꼭두각시입니다. 그는 정치학 전공 학생이며, 심지어 수학도 배우지 못했습니다. 1년 전, 나의 여론 조사 결과는 매우 긍정적이었고, 이것이 트럼프가 나를 이렇게 중시하는 이유입니다."

ChainCatcher 메시지, 스테이블코인 발행사 Tether의 CEO Paolo Ardoino가 X 플랫폼에 글을 올리며, 수학은 우주 전체에서 유일한 확실성이라고 밝혔습니다. 비트코인은 수학 화폐(Math Money)입니다.

ChainCatcher 메시지에 따르면, Cointelegraph는 트럼프의 암호화 및 AI 고문인 David Sacks가 최근에 "비트코인은 정부에 의해 지원되지 않고 수학에 의해 지원되는 다른 유형의 통화를 제공합니다."라고 말했다고 보도했습니다.

ChainCatcher 메시지에 따르면, Cointelegraph는 이탈리아 트렌토 대학교의 Massimiliano Sala 교수와 Ripple 팀이 블록체인의 미래에 대해 논의했으며, 특히 양자 컴퓨팅이 암호 기술에 미치는 잠재적 위협에 대해 이야기했다고 보도했습니다. Sala 교수는 양자 컴퓨터 기술의 발전이 기존 암호 방법에 심각한 위협을 가할 수 있으며, 이는 전체 블록체인 기술 시스템에 위험을 초래할 수 있다고 강조했습니다. 그는 양자 컴퓨터가 디지털 서명의 기본 문제를 쉽게 해결할 수 있게 되어 블록체인 플랫폼에서 사용자 자산의 보장 메커니즘을 파괴할 것이라고 지적했습니다. 그가 제안한 "Q일" 개념은 양자 컴퓨터가 충분히 강력하고 쉽게 접근할 수 있게 되어 악의적인 행위자가 전통적인 암호 방법을 해독할 수 있는 순간을 의미합니다.이것은 긴급 서비스, 인프라, 은행업 및 국방을 포함한 데이터 보안이 중요한 모든 분야에 깊은 영향을 미칠 것이지만, 이론적으로는 암호화폐와 블록체인 세계를 파괴할 수 있습니다. Sala는 이러한 잠재적 위험에 대응하기 위해 모든 전통적인 공개 키 암호 시스템이 양자 공격에 저항할 수 있는 대응 시스템으로 대체되어야 한다고 제안했습니다. 현재 이러한 작업을 수행할 수 있는 실용적인 양자 컴퓨터는 존재하지 않지만, 전 세계의 정부와 연구 기관은 Q일의 도래에 대비하기 위해 준비하고 있습니다. Sala 교수는 양자 컴퓨팅 분야의 발전에 만족감을 표하며, 블록체인 개발자들이 현대 시스템의 양자 방어 기준과 혁신을 이해하는 암호 전문가들과 긴밀히 협력하여 이 도전에 함께 맞서야 한다고 제안했습니다.